translated by John C. H. Wu